PosetSig{i}  PosetSig{[i | j]} 

latex

Up	sets 1
Definitions of Statement	PosetSig
Definitions	t  T, x:A. B(x), PosetSig, S  T
Lemmas	bool wf